+++Struct double-float:
size=16,align=8,offset-double=0,offset-float=8,
align-double=8,align-float=4
